<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html lang="en" dir="ltr" class="client-nojs">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Variable templates for type traits (library fundamentals TS) - cppreference.com</title>
<meta charset="UTF-8">
<meta name="generator" content="MediaWiki 1.21.2">


<link rel="shortcut icon" href="../../../favicon.ico">



<link rel="stylesheet" href="../../../common/ext.css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link rel="stylesheet" href="../../../common/site_modules.css">
<style>a:lang(ar),a:lang(ckb),a:lang(fa),a:lang(kk-arab),a:lang(mzn),a:lang(ps),a:lang(ur){text-decoration:none}#toc{display:none}.editsection{display:none}
/* cache key: mwiki1-mwiki_en_:resourceloader:filter:minify-css:7:472787eddcf4605d11de8c7ef047234f */</style>

<script src="../../../common/startup_scripts.js"></script>
<script>if(window.mw){
mw.config.set({"wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"cpp/experimental/type_trait_variable_templates","wgTitle":"cpp/experimental/type trait variable templates","wgCurRevisionId":80045,"wgArticleId":14313,"wgIsArticle":true,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":[],"wgBreakFrames":false,"wgPageContentLanguage":"en","wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy","wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgMonthNamesShort":["","Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec"],"wgRelevantPageName":"cpp/experimental/type_trait_variable_templates","wgRestrictionEdit":[],"wgRestrictionMove":[]});
}</script><script>if(window.mw){
mw.loader.implement("user.options",function(){mw.user.options.set({"ccmeonemails":0,"cols":80,"date":"default","diffonly":0,"disablemail":0,"disablesuggest":0,"editfont":"default","editondblclick":0,"editsection":0,"editsectiononrightclick":0,"enotifminoredits":0,"enotifrevealaddr":0,"enotifusertalkpages":1,"enotifwatchlistpages":0,"extendwatchlist":0,"externaldiff":0,"externaleditor":0,"fancysig":0,"forceeditsummary":0,"gender":"unknown","hideminor":0,"hidepatrolled":0,"imagesize":2,"justify":0,"math":1,"minordefault":0,"newpageshidepatrolled":0,"nocache":0,"noconvertlink":0,"norollbackdiff":0,"numberheadings":0,"previewonfirst":0,"previewontop":1,"quickbar":5,"rcdays":7,"rclimit":50,"rememberpassword":0,"rows":25,"searchlimit":20,"showhiddencats":0,"showjumplinks":1,"shownumberswatching":1,"showtoc":0,"showtoolbar":1,"skin":"cppreference2","stubthreshold":0,"thumbsize":2,"underline":2,"uselivepreview":0,"usenewrc":0,"watchcreations":0,"watchdefault":0,"watchdeletion":0,
"watchlistdays":3,"watchlisthideanons":0,"watchlisthidebots":0,"watchlisthideliu":0,"watchlisthideminor":0,"watchlisthideown":0,"watchlisthidepatrolled":0,"watchmoves":0,"wllimit":250,"variant":"en","language":"en","searchNs0":true,"searchNs1":false,"searchNs2":false,"searchNs3":false,"searchNs4":false,"searchNs5":false,"searchNs6":false,"searchNs7":false,"searchNs8":false,"searchNs9":false,"searchNs10":false,"searchNs11":false,"searchNs12":false,"searchNs13":false,"searchNs14":false,"searchNs15":false,"gadget-ColiruCompiler":1});;},{},{});mw.loader.implement("user.tokens",function(){mw.user.tokens.set({"editToken":"+\\","patrolToken":false,"watchToken":false});;},{},{});
/* cache key: mwiki1-mwiki_en_:resourceloader:filter:minify-js:7:ca03345b1e2c4d90a25d968753a73b92 */
}</script>
<script>if(window.mw){
mw.loader.load(["mediawiki.page.startup","mediawiki.legacy.wikibits","mediawiki.legacy.ajax"]);
}</script>
<style type="text/css">/*<![CDATA[*/
.source-cpp {line-height: normal;}
.source-cpp li, .source-cpp pre {
	line-height: normal; border: 0px none white;
}
/**
 * GeSHi Dynamically Generated Stylesheet
 * --------------------------------------
 * Dynamically generated stylesheet for cpp
 * CSS class: source-cpp, CSS id: 
 * GeSHi (C) 2004 - 2007 Nigel McNie, 2007 - 2008 Benny Baumann
 * (http://qbnz.com/highlighter/ and http://geshi.org/)
 * --------------------------------------
 */
.cpp.source-cpp .de1, .cpp.source-cpp .de2 {font: normal normal 1em/1.2em monospace; margin:0; padding:0; background:none; vertical-align:top;}
.cpp.source-cpp  {font-family:monospace;}
.cpp.source-cpp .imp {font-weight: bold; color: red;}
.cpp.source-cpp li, .cpp.source-cpp .li1 {font-weight: normal; vertical-align:top;}
.cpp.source-cpp .ln {width:1px;text-align:right;margin:0;padding:0 2px;vertical-align:top;}
.cpp.source-cpp .li2 {font-weight: bold; vertical-align:top;}
.cpp.source-cpp .kw1 {color: #0000dd;}
.cpp.source-cpp .kw2 {color: #0000ff;}
.cpp.source-cpp .kw3 {color: #0000dd;}
.cpp.source-cpp .kw4 {color: #0000ff;}
.cpp.source-cpp .co1 {color: #909090;}
.cpp.source-cpp .co2 {color: #339900;}
.cpp.source-cpp .coMULTI {color: #ff0000; font-style: italic;}
.cpp.source-cpp .es0 {color: #008000; font-weight: bold;}
.cpp.source-cpp .es1 {color: #008000; font-weight: bold;}
.cpp.source-cpp .es2 {color: #008000; font-weight: bold;}
.cpp.source-cpp .es3 {color: #008000; font-weight: bold;}
.cpp.source-cpp .es4 {color: #008000; font-weight: bold;}
.cpp.source-cpp .es5 {color: #008000; font-weight: bold;}
.cpp.source-cpp .br0 {color: #008000;}
.cpp.source-cpp .sy0 {color: #008000;}
.cpp.source-cpp .sy1 {color: #000080;}
.cpp.source-cpp .sy2 {color: #000040;}
.cpp.source-cpp .sy3 {color: #000040;}
.cpp.source-cpp .sy4 {color: #008080;}
.cpp.source-cpp .st0 {color: #008000;}
.cpp.source-cpp .nu0 {color: #000080;}
.cpp.source-cpp .nu6 {color: #000080;}
.cpp.source-cpp .nu8 {color: #000080;}
.cpp.source-cpp .nu12 {color: #000080;}
.cpp.source-cpp .nu16 {color:#000080;}
.cpp.source-cpp .nu17 {color:#000080;}
.cpp.source-cpp .nu18 {color:#000080;}
.cpp.source-cpp .nu19 {color:#000080;}
.cpp.source-cpp .ln-xtra, .cpp.source-cpp li.ln-xtra, .cpp.source-cpp div.ln-xtra {background-color: #ffc;}
.cpp.source-cpp span.xtra { display:block; }

/*]]>*/
</style>
<!--[if lt IE 7]><style type="text/css">body{behavior:url("/mwiki/skins/cppreference2/csshover.min.htc")}</style><![endif]-->
</head>
<body class="mediawiki ltr sitedir-ltr ns-0 ns-subject page-cpp_experimental_type_trait_variable_templates skin-cppreference2 action-view cpp-navbar">
        <!-- header -->
        
        <!-- /header -->
        <!-- content -->
        <div id="cpp-content-base">
            <div id="content">
                <a id="top"></a>
                <div id="mw-js-message" style="display:none;"></div>
                                <!-- firstHeading -->
                <h1 id="firstHeading" class="firstHeading">Variable templates for type traits <span class="t-mark-rev t-since-libfund-ts t-mark-ts">(library fundamentals TS)</span>
</h1>
                <!-- /firstHeading -->
                <!-- bodyContent -->
                <div id="bodyContent">
                                        <!-- tagline -->
                    <div id="siteSub">From cppreference.com</div>
                    <!-- /tagline -->
                                        <!-- subtitle -->
                    <div id="contentSub"><span class="subpages">&lt; <a href="../../cpp.html" title="cpp">cpp</a>‎ | <a href="../experimental.html" title="cpp/experimental">experimental</a></span></div>
                    <!-- /subtitle -->
                                                            <!-- bodycontent -->
                    <div id="mw-content-text" lang="en" dir="ltr" class="mw-content-ltr">
<div class="t-navbar" style="">
<div class="t-navbar-sep"> </div>
<div class="t-navbar-head">
<a href="../../cpp.html" title="cpp"> C++</a><div class="t-navbar-menu"><div>
<div><table class="t-nv-begin" cellpadding="0" style="line-height:1.1em;">
<tr class="t-nv"><td colspan="5"> <a href="../language.1.html" title="cpp/language"> Language</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../header.html" title="cpp/header"> Standard library headers</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../concept.html" title="cpp/concept"> Concepts</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../utility.html" title="cpp/utility"> Utilities library</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../string.html" title="cpp/string"> Strings library</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../container.html" title="cpp/container"> Containers library</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../algorithm.html" title="cpp/algorithm"> Algorithms library</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../iterator.html" title="cpp/iterator"> Iterators library</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../numeric.html" title="cpp/numeric"> Numerics library</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../io.html" title="cpp/io"> Input/output library</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../locale.html" title="cpp/locale"> Localizations library</a> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../regex.html" title="cpp/regex"> Regular expressions library</a> <span class="t-mark-rev t-since-cxx11">(C++11)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../atomic.html" title="cpp/atomic"> Atomic operations library</a> <span class="t-mark-rev t-since-cxx11">(C++11)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../thread.html" title="cpp/thread"> Thread support library</a> <span class="t-mark-rev t-since-cxx11">(C++11)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../experimental.html" title="cpp/experimental"> Technical Specifications</a> </td></tr>
</table></div>
<div></div>
</div></div>
</div>
<div class="t-navbar-sep"> </div>
<div class="t-navbar-head">
<a href="../experimental.html" title="cpp/experimental"> Technical specifications</a><div class="t-navbar-menu"><div>
<div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"> <a href="fs.html" title="cpp/experimental/fs">Filesystem library</a> <span class="t-mark-rev t-since-fs-ts t-mark-ts">(filesystem TS)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="memory.html" title="cpp/experimental/lib extensions">Library fundamentals</a> <span class="t-mark-rev t-since-libfund-ts t-mark-ts">(library fundamentals TS)</span>
</td></tr>
<tr class="t-nv"><td colspan="5"> <a href="lib_extensions_2.html" title="cpp/experimental/lib extensions 2">Library fundamentals 2</a> <span class="t-mark-rev t-since-libfund-2-ts t-mark-ts">(library fundamentals 2 TS)</span>
</td></tr>
<tr class="t-nv"><td colspan="5"> <a href="parallelism.html" title="cpp/experimental/parallelism">Extensions for parallelism</a> <span class="t-mark-rev t-since-fs-ts t-mark-ts">(parallelism TS)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="../language/concepts.html" title="cpp/language/constraints">Concepts</a> <span class="t-mark-rev t-since-concepts-ts t-mark-ts">(concepts TS)</span> </td></tr>
<tr class="t-nv"><td colspan="5"> <a href="concurrency.html" title="cpp/experimental/concurrency">Extensions for concurrency</a> <span class="t-mark-rev t-since-concurrency-ts t-mark-ts">(concurrency TS)</span> </td></tr>
</table></div>
<div></div>
</div></div>
</div>
<div class="t-navbar-sep"> </div>
<div class="t-navbar-head">
<a href="memory.html" title="cpp/experimental/lib extensions"> Library fundamentals</a><div class="t-navbar-menu"><div>
<div><table class="t-nv-begin" cellpadding="0" style="">
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><a href="optional.html" title="cpp/experimental/optional"><span class="t-lines"><span>experimental::optional</span></span></a></div></div></td></tr>
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><a href="any.html" title="cpp/experimental/any"><span class="t-lines"><span>experimental::any</span></span></a></div></div></td></tr>
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><a href="basic_string_view.html" title="cpp/experimental/basic string view"><span class="t-lines"><span>experimental::basic_string_view</span></span></a></div></div></td></tr>
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><a href="sample.html" title="cpp/experimental/sample"><span class="t-lines"><span>experimental::sample</span></span></a></div></div></td></tr>
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><a href="apply.html" title="cpp/experimental/apply"><span class="t-lines"><span>experimental::apply</span></span></a></div></div></td></tr>
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><a href="search.html" title="cpp/experimental/search"><span class="t-lines"><span>experimental::search</span></span></a></div></div></td></tr>
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><a href="default_searcher.html" title="cpp/experimental/default searcher"><span class="t-lines"><span>experimental::default_searcher<br>experimental::make_default_searcher</span></span></a></div></div></td></tr>
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><a href="boyer_moore_searcher.html" title="cpp/experimental/boyer moore searcher"><span class="t-lines"><span>experimental::boyer_moore_searcher<br>experimental::make_boyer_moore_searcher</span></span></a></div></div></td></tr>
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><a href="boyer_moore_horspool_searcher.html" title="cpp/experimental/boyer moore horspool searcher"><span class="t-lines"><span>experimental::boyer_moore_horspool_searcher<br>experimental::make_boyer_moore_horspool_searcher</span></span></a></div></div></td></tr>
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><a href="memory.html" title="cpp/experimental/memory" class="mw-redirect"><span class="t-lines"><span>type-erased and polymorphic allocators</span></span></a></div></div></td></tr>
<tr class="t-nv"><td colspan="5"><div class="t-nv-ln-table"><div><strong class="selflink"><span class="t-lines"><span>variable templates for type traits</span></span></strong></div></div></td></tr>
</table></div>
<div></div>
</div></div>
</div>
<div class="t-navbar-sep"> </div>
</div>
<p>Version 1 of the C++ Extensions for Library Fundamentals provides a number of <code>constexpr</code> variable templates for type traits classes, as well as other similar class templates with public <code>::value</code> members.
</p>
<p>Unless otherwise noted, the following variable templates are defined in the <code>std::experimental</code> namespace.
</p>
<table class="t-dsc-begin">

<tr>
<td colspan="2"> <table id="toc" class="toc"><tr><td>
<div id="toctitle"><h2>Contents</h2></div>
<ul>
<li class="toclevel-1">
<a href="type_trait_variable_templates.html#Type_traits"><span class="tocnumber">1</span> <span class="toctext">Type traits</span></a>
<ul>
<li class="toclevel-2"><a href="type_trait_variable_templates.html#Primary_type_categories"><span class="tocnumber">1.1</span> <span class="toctext">Primary type categories</span></a></li>
<li class="toclevel-2"><a href="type_trait_variable_templates.html#Composite_type_categories"><span class="tocnumber">1.2</span> <span class="toctext">Composite type categories</span></a></li>
<li class="toclevel-2"><a href="type_trait_variable_templates.html#Type_properties"><span class="tocnumber">1.3</span> <span class="toctext">Type properties</span></a></li>
<li class="toclevel-2"><a href="type_trait_variable_templates.html#Supported_operations"><span class="tocnumber">1.4</span> <span class="toctext">Supported operations</span></a></li>
<li class="toclevel-2"><a href="type_trait_variable_templates.html#Property_queries"><span class="tocnumber">1.5</span> <span class="toctext">Property queries</span></a></li>
<li class="toclevel-2"><a href="type_trait_variable_templates.html#Type_relationships"><span class="tocnumber">1.6</span> <span class="toctext">Type relationships</span></a></li>
</ul>
</li>
<li class="toclevel-1">
<a href="type_trait_variable_templates.html#Other_variable_templates"><span class="tocnumber">2</span> <span class="toctext">Other variable templates</span></a>
<ul>
<li class="toclevel-2"><a href="type_trait_variable_templates.html#std%3A%3Aratio_comparison"><span class="tocnumber">2.1</span> <span class="toctext"><span>std::ratio</span> comparison</span></a></li>
<li class="toclevel-2"><a href="type_trait_variable_templates.html#Miscellaneous"><span class="tocnumber">2.2</span> <span class="toctext">Miscellaneous</span></a></li>
</ul>
</li>
<li class="toclevel-1 tocsection-1"><a href="type_trait_variable_templates.html#Notes"><span class="tocnumber">3</span> <span class="toctext">Notes</span></a></li>
</ul>
</td></tr></table>
<h3> <span class="mw-headline" id="Type_traits"> Type traits</span>
</h3>
</td>
</tr>

<tr>
<td colspan="2"> <h5> <span class="mw-headline" id="Primary_type_categories">  Primary type categories </span>
</h5>
</td>
</tr>

<tr class="t-dsc-hitem">
<td>  Variable template
</td>
<td>  Value
</td>
</tr>


<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/type_traits&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="is_void"></span><span id="is_void_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_void_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_void.html"><span class="kw441">std::<span class="me2">is_void</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_null_pointer"></span><span id="is_null_pointer_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_null_pointer_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_null_pointer.html"><span class="kw442">std::<span class="me2">is_null_pointer</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_integral"></span><span id="is_integral_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_integral_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_integral.html"><span class="kw444">std::<span class="me2">is_integral</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_floating_point"></span><span id="is_floating_point_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_floating_point_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_floating_point.html"><span class="kw445">std::<span class="me2">is_floating_point</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_array"></span><span id="is_array_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_array_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_array.html"><span class="kw446">std::<span class="me2">is_array</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_pointer"></span><span id="is_pointer_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_pointer_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_pointer.html"><span class="kw447">std::<span class="me2">is_pointer</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_lvalue_reference"></span><span id="is_lvalue_reference_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_lvalue_reference_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_lvalue_reference.html"><span class="kw448">std::<span class="me2">is_lvalue_reference</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_rvalue_reference"></span><span id="is_rvalue_reference_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_rvalue_reference_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_rvalue_reference.html"><span class="kw449">std::<span class="me2">is_rvalue_reference</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_member_object_pointer"></span><span id="is_member_object_pointer_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_member_object_pointer_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_member_object_pointer.html"><span class="kw450">std::<span class="me2">is_member_object_pointer</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_member_function_pointer"></span><span id="is_member_function_pointer_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_member_function_pointer_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_member_function_pointer.html"><span class="kw451">std::<span class="me2">is_member_function_pointer</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_enum"></span><span id="is_enum_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_enum_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_enum.html"><span class="kw452">std::<span class="me2">is_enum</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_union"></span><span id="is_union_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_union_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_union.html"><span class="kw453">std::<span class="me2">is_union</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_class"></span><span id="is_class_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_class_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_class.html"><span class="kw454">std::<span class="me2">is_class</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_function"></span><span id="is_function_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_function_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_function.html"><span class="kw455">std::<span class="me2">is_function</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>



<tr>
<td colspan="2"> <h5> <span class="mw-headline" id="Composite_type_categories">  Composite type categories  </span>
</h5>
</td>
</tr>

<tr class="t-dsc-hitem">
<td>  Variable template
</td>
<td>  Value
</td>
</tr>


<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/type_traits&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="is_reference"></span><span id="is_reference_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_reference_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_reference.html"><span class="kw456">std::<span class="me2">is_reference</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_arithmetic"></span><span id="is_arithmetic_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_arithmetic_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_arithmetic.html"><span class="kw457">std::<span class="me2">is_arithmetic</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_fundamental"></span><span id="is_fundamental_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_fundamental_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_fundamental.html"><span class="kw458">std::<span class="me2">is_fundamental</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_object"></span><span id="is_object_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_object_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_object.html"><span class="kw459">std::<span class="me2">is_object</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_scalar"></span><span id="is_scalar_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_scalar_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_scalar.html"><span class="kw460">std::<span class="me2">is_scalar</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_compound"></span><span id="is_compound_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_compound_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_compound.html"><span class="kw461">std::<span class="me2">is_compound</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_member_pointer"></span><span id="is_member_pointer_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_member_pointer_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_member_pointer.html"><span class="kw462">std::<span class="me2">is_member_pointer</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>



<tr>
<td colspan="2"> <h5> <span class="mw-headline" id="Type_properties">  Type properties  </span>
</h5>
</td>
</tr>

<tr class="t-dsc-hitem">
<td>  Variable template
</td>
<td>  Value
</td>
</tr>


<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/type_traits&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="is_const"></span><span id="is_const_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_const_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_const.html"><span class="kw463">std::<span class="me2">is_const</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_volatile"></span><span id="is_volatile_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_volatile_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_volatile.html"><span class="kw464">std::<span class="me2">is_volatile</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_trivial"></span><span id="is_trivial_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_trivial_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_trivial.html"><span class="kw465">std::<span class="me2">is_trivial</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_trivially_copyable"></span><span id="is_trivially_copyable_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_trivially_copyable_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_trivially_copyable.html"><span class="kw466">std::<span class="me2">is_trivially_copyable</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_standard_layout"></span><span id="is_standard_layout_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_standard_layout_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_standard_layout.html"><span class="kw467">std::<span class="me2">is_standard_layout</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_pod"></span><span id="is_pod_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_pod_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_pod.html"><span class="kw468">std::<span class="me2">is_pod</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_literal_type"></span><span id="is_literal_type_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_literal_type_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_literal_type.html"><span class="kw469">std::<span class="me2">is_literal_type</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_empty"></span><span id="is_empty_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_empty_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_empty.html"><span class="kw470">std::<span class="me2">is_empty</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_polymorphic"></span><span id="is_polymorphic_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_polymorphic_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_polymorphic.html"><span class="kw471">std::<span class="me2">is_polymorphic</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_abstract"></span><span id="is_abstract_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_abstract_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_abstract.html"><span class="kw472">std::<span class="me2">is_abstract</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_final"></span><span id="is_final_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_final_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_final.html"><span class="kw443">std::<span class="me2">is_final</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_signed"></span><span id="is_signed_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_signed_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_signed.html"><span class="kw473">std::<span class="me2">is_signed</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_unsigned"></span><span id="is_unsigned_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_unsigned_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_unsigned.html"><span class="kw474">std::<span class="me2">is_unsigned</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>

</table>
<table class="t-dsc-begin">

<tr>
<td colspan="2"> <h5> <span class="mw-headline" id="Supported_operations">  Supported operations  </span>
</h5>
</td>
</tr>

<tr class="t-dsc-hitem">
<td>  Variable template
</td>
<td>  Value
</td>
</tr>


<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/type_traits&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="is_constructible"></span><span id="is_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_constructible.html"><span class="kw475">std::<span class="me2">is_constructible</span></span></a><span class="sy1">&lt;</span>T, Args...<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_trivially_constructible"></span><span id="is_trivially_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_trivially_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_constructible.html"><span class="kw476">std::<span class="me2">is_trivially_constructible</span></span></a><span class="sy1">&lt;</span>T, Args...<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_nothrow_constructible"></span><span id="is_nothrow_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span>... <span class="me1">Args</span><span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_nothrow_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_constructible.html"><span class="kw477">std::<span class="me2">is_nothrow_constructible</span></span></a><span class="sy1">&lt;</span>T, Args...<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_default_constructible"></span><span id="is_default_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_default_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_default_constructible.html"><span class="kw478">std::<span class="me2">is_default_constructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_trivially_default_constructible"></span><span id="is_trivially_default_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_trivially_default_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_default_constructible.html"><span class="kw479">std::<span class="me2">is_trivially_default_constructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_nothrow_default_constructible"></span><span id="is_nothrow_default_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_nothrow_default_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_default_constructible.html"><span class="kw480">std::<span class="me2">is_nothrow_default_constructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_copy_constructible"></span><span id="is_copy_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_copy_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_copy_constructible.html"><span class="kw481">std::<span class="me2">is_copy_constructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_trivially_copy_constructible"></span><span id="is_trivially_copy_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_trivially_copy_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_copy_constructible.html"><span class="kw482">std::<span class="me2">is_trivially_copy_constructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_nothrow_copy_constructible"></span><span id="is_nothrow_copy_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_nothrow_copy_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_copy_constructible.html"><span class="kw483">std::<span class="me2">is_nothrow_copy_constructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_move_constructible"></span><span id="is_move_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_move_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_move_constructible.html"><span class="kw484">std::<span class="me2">is_move_constructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_trivially_move_constructible"></span><span id="is_trivially_move_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_trivially_move_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_move_constructible.html"><span class="kw485">std::<span class="me2">is_trivially_move_constructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_nothrow_move_constructible"></span><span id="is_nothrow_move_constructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_nothrow_move_constructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_move_constructible.html"><span class="kw486">std::<span class="me2">is_nothrow_move_constructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_assignable"></span><span id="is_assignable_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_assignable_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_assignable.html"><span class="kw487">std::<span class="me2">is_assignable</span></span></a><span class="sy1">&lt;</span>T, U<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_trivially_assignable"></span><span id="is_trivially_assignable_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_trivially_assignable_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_assignable.html"><span class="kw488">std::<span class="me2">is_trivially_assignable</span></span></a><span class="sy1">&lt;</span>T, U<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_nothrow_assignable"></span><span id="is_nothrow_assignable_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_nothrow_assignable_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_assignable.html"><span class="kw489">std::<span class="me2">is_nothrow_assignable</span></span></a><span class="sy1">&lt;</span>T, U<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_copy_assignable"></span><span id="is_copy_assignable_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_copy_assignable_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_copy_assignable.html"><span class="kw490">std::<span class="me2">is_copy_assignable</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_trivially_copy_assignable"></span><span id="is_trivially_copy_assignable_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_trivially_copy_assignable_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_copy_assignable.html"><span class="kw491">std::<span class="me2">is_trivially_copy_assignable</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_nothrow_copy_assignable"></span><span id="is_nothrow_copy_assignable_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_nothrow_copy_assignable_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_copy_assignable.html"><span class="kw492">std::<span class="me2">is_nothrow_copy_assignable</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_move_assignable"></span><span id="is_move_assignable_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_move_assignable_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_move_assignable.html"><span class="kw493">std::<span class="me2">is_move_assignable</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_trivially_move_assignable"></span><span id="is_trivially_move_assignable_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_trivially_move_assignable_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_move_assignable.html"><span class="kw494">std::<span class="me2">is_trivially_move_assignable</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_nothrow_move_assignable"></span><span id="is_nothrow_move_assignable_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_nothrow_move_assignable_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_move_assignable.html"><span class="kw495">std::<span class="me2">is_nothrow_move_assignable</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_destructible"></span><span id="is_destructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_destructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_destructible.html"><span class="kw496">std::<span class="me2">is_destructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_trivially_destructible"></span><span id="is_trivially_destructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_trivially_destructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_destructible.html"><span class="kw497">std::<span class="me2">is_trivially_destructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_nothrow_destructible"></span><span id="is_nothrow_destructible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_nothrow_destructible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_destructible.html"><span class="kw498">std::<span class="me2">is_nothrow_destructible</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="has_virtual_destructor"></span><span id="has_virtual_destructor_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> has_virtual_destructor_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/has_virtual_destructor.html"><span class="kw499">std::<span class="me2">has_virtual_destructor</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>

</table>
<table class="t-dsc-begin">

<tr>
<td colspan="2"> <h5> <span class="mw-headline" id="Property_queries">  Property queries  </span>
</h5>
</td>
</tr>

<tr class="t-dsc-hitem">
<td>  Variable template
</td>
<td>  Value
</td>
</tr>


<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/type_traits&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="alignment_of"></span><span id="alignment_of_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <a href="../types/size_t.html"><span class="kw100">std::<span class="me2">size_t</span></span></a> alignment_of_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/alignment_of.html"><span class="kw500">std::<span class="me2">alignment_of</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="rank"></span><span id="rank_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <a href="../types/size_t.html"><span class="kw100">std::<span class="me2">size_t</span></span></a> rank_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/rank.html"><span class="kw501">std::<span class="me2">rank</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="extent"></span><span id="extent_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw4">unsigned</span> I <span class="sy1">=</span> <span class="nu0">0</span><span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <a href="../types/size_t.html"><span class="kw100">std::<span class="me2">size_t</span></span></a> extent_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/extent.html"><span class="kw502">std::<span class="me2">extent</span></span></a><span class="sy1">&lt;</span>T, I<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>



<tr>
<td colspan="2"> <h5> <span class="mw-headline" id="Type_relationships">  Type relationships  </span>
</h5>
</td>
</tr>

<tr class="t-dsc-hitem">
<td>  Variable template
</td>
<td>  Value
</td>
</tr>


<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/type_traits&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="is_same"></span><span id="is_same_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> U<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_same_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_same.html"><span class="kw503">std::<span class="me2">is_same</span></span></a><span class="sy1">&lt;</span>T, U<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_base_of"></span><span id="is_base_of_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> Base, <span class="kw1">class</span> Derived<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_base_of_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_base_of.html"><span class="kw504">std::<span class="me2">is_base_of</span></span></a><span class="sy1">&lt;</span>Base, Derived<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_convertible"></span><span id="is_convertible_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> From, <span class="kw1">class</span> To<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_convertible_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../types/is_convertible.html"><span class="kw505">std::<span class="me2">is_convertible</span></span></a><span class="sy1">&lt;</span>From, To<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>



<tr>
<td colspan="2"> <h3> <span class="mw-headline" id="Other_variable_templates"> Other variable templates </span>
</h3>
</td>
</tr>

<tr>
<td colspan="2"> <h5> <span class="mw-headline" id="std::ratio_comparison">  <span class="t-lc"><a href="../numeric/ratio/ratio.html" title="cpp/numeric/ratio/ratio">std::ratio</a></span> comparison  </span>
</h5>
</td>
</tr>

<tr class="t-dsc-hitem">
<td>  Variable template
</td>
<td>  Value
</td>
</tr>


<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/ratio&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="ratio_equal"></span><span id="ratio_equal_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> R1, <span class="kw1">class</span> R2<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> ratio_equal_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../numeric/ratio/ratio_equal.html"><span class="kw1264">std::<span class="me2">ratio_equal</span></span></a><span class="sy1">&lt;</span>R1, R2<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="ratio_not_equal"></span><span id="ratio_not_equal_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> R1, <span class="kw1">class</span> R2<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> ratio_not_equal_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../numeric/ratio/ratio_not_equal.html"><span class="kw1265">std::<span class="me2">ratio_not_equal</span></span></a><span class="sy1">&lt;</span>R1, R2<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="ratio_less"></span><span id="ratio_less_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> R1, <span class="kw1">class</span> R2<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> ratio_less_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../numeric/ratio/ratio_less.html"><span class="kw1266">std::<span class="me2">ratio_less</span></span></a><span class="sy1">&lt;</span>R1, R2<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="ratio_less_equal"></span><span id="ratio_less_equal_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> R1, <span class="kw1">class</span> R2<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> ratio_less_equal_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../numeric/ratio/ratio_less_equal.html"><span class="kw1267">std::<span class="me2">ratio_less_equal</span></span></a><span class="sy1">&lt;</span>R1, R2<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="ratio_greater"></span><span id="ratio_greater_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> R1, <span class="kw1">class</span> R2<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> ratio_greater_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../numeric/ratio/ratio_greater.html"><span class="kw1268">std::<span class="me2">ratio_greater</span></span></a><span class="sy1">&lt;</span>R1, R2<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="ratio_greater_equal"></span><span id="ratio_greater_equal_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> R1, <span class="kw1">class</span> R2<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> ratio_greater_equal_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../numeric/ratio/ratio_greater_equal.html"><span class="kw1269">std::<span class="me2">ratio_greater_equal</span></span></a><span class="sy1">&lt;</span>R1, R2<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>



<tr>
<td colspan="2"> <h5> <span class="mw-headline" id="Miscellaneous">  Miscellaneous </span>
</h5>
</td>
</tr>

<tr class="t-dsc-hitem">
<td>  Variable template
</td>
<td>  Value
</td>
</tr>


<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/tuple&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="tuple_size"></span><span id="tuple_size_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <a href="../types/size_t.html"><span class="kw100">std::<span class="me2">size_t</span></span></a> tuple_size_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../utility/tuple/tuple_size.html"><span class="kw909">std::<span class="me2">tuple_size</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>



<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/chrono&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="treat_as_floating_point"></span><span id="treat_as_floating_point_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> Rep<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> treat_as_floating_point_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../chrono/treat_as_floating_point.html"><span class="kw849">std::<span class="me2">chrono</span><span class="sy4">::</span><span class="me2">treat_as_floating_point</span></span></a><span class="sy1">&lt;</span>Rep<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span><sup>[1]</sup>
</td>
</tr>



<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/system_error&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="is_error_code_enum"></span><span id="is_error_code_enum_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_error_code_enum_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../error/error_code/is_error_code_enum.html"><span class="kw727">std::<span class="me2">is_error_code_enum</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_error_condition_enum"></span><span id="is_error_condition_enum_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_error_condition_enum_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../error/error_condition/is_error_condition_enum.html"><span class="kw725">std::<span class="me2">is_error_condition_enum</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>



<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/functional&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="is_bind_expression"></span><span id="is_bind_expression_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_bind_expression_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../utility/functional/is_bind_expression.html"><span class="kw896">std::<span class="me2">is_bind_expression</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>


<tr class="t-dsc">
<td>  <span id="is_placeholder"></span><span id="is_placeholder_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> is_placeholder_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../utility/functional/is_placeholder.html"><span class="kw897">std::<span class="me2">is_placeholder</span></span></a><span class="sy1">&lt;</span>T<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>



<tr class="t-dsc-header">
<td colspan="2"> <div>Defined in header <code>&lt;experimental/memory&gt;</code> </div>
</td>
</tr>

<tr class="t-dsc">
<td>  <span id="uses_allocator"></span><span id="uses_allocator_v"></span><span class="mw-geshi cpp source-cpp"><span class="kw1">template</span> <span class="sy1">&lt;</span><span class="kw1">class</span> T, <span class="kw1">class</span> Alloc<span class="sy1">&gt;</span> <span class="kw4">constexpr</span> <span class="kw4">bool</span> uses_allocator_v <span class="sy1">=</span></span>
</td>
<td>  <span class="mw-geshi cpp source-cpp"><a href="../memory/uses_allocator.html"><span class="kw575">std::<span class="me2">uses_allocator</span></span></a><span class="sy1">&lt;</span>T, Alloc<span class="sy1">&gt;</span><span class="sy4">::</span><span class="me2">value</span><span class="sy4">;</span></span>
</td>
</tr>

</table>
<h3>
<span class="editsection">[<a href="http%3A//en.cppreference.com/mwiki/index.php" title="Edit section: Notes">edit</a>]</span> <span class="mw-headline" id="Notes"> Notes </span>
</h3>
<p>[1]: Defined in the <code>std::chrono::experimental</code> namespace.
</p>
<!-- 
NewPP limit report
Preprocessor visited node count: 8966/1000000
Preprocessor generated node count: 7526/1000000
Post‐expand include size: 114409/2097152 bytes
Template argument size: 42093/2097152 bytes
Highest expansion depth: 13/40
Expensive parser function count: 0/100
-->

<!-- Saved in parser cache with key mwiki1-mwiki_en_:pcache:idhash:14313-0!*!0!!en!*!* and timestamp 20150728221548 -->
</div>                    <!-- /bodycontent -->
                                        <!-- printfooter -->
                    <div class="printfooter">
                    Retrieved from "<a href="http%3A//en.cppreference.com/mwiki/index.php">http://en.cppreference.com/mwiki/index.php?title=cpp/experimental/type_trait_variable_templates&amp;oldid=80045</a>"                    </div>
                    <!-- /printfooter -->
                                                            <!-- catlinks -->
                    <div id="catlinks" class="catlinks catlinks-allhidden"></div>                    <!-- /catlinks -->
                                                            <div class="visualClear"></div>
                    <!-- debughtml -->
                                        <!-- /debughtml -->
                </div>
                <!-- /bodyContent -->
            </div>
        </div>
        <!-- /content -->
        <!-- footer -->
        
        <!-- /footer -->
        <script>if(window.mw){
mw.loader.state({"site":"loading","user":"missing","user.groups":"ready"});
}</script>
<script src="../../../common/skin_scripts.js"></script>
<script>if(window.mw){
mw.loader.load(["mediawiki.action.view.postEdit","mediawiki.user","mediawiki.page.ready","mediawiki.searchSuggest","mediawiki.hidpi","ext.gadget.ColiruCompiler"], null, true);
}</script>
<script src="../../../common/site_scripts.js"></script>

<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-2828341-1']);
_gaq.push(['_setDomainName', 'cppreference.com']);
_gaq.push(['_trackPageview']);
</script><!-- Served in 0.086 secs. -->
	</body>
<!-- Cached 20150728223616 -->
</html>
